- logica aritmetica
- арифметическая логика
Dictionnaire polytechnique italo-russe. 2013.
Dictionnaire polytechnique italo-russe. 2013.
Aritmética de Heyting — Saltar a navegación, búsqueda En lógica matemática, se denomina aritmética de Heyting a la axiomatización de la aritmética siguiendo los lineamientos de la escuela intuicionista. El nombre proviene de Arend Heyting, quien fue el primero en… … Wikipedia Español
Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… … Wikipedia Español
Lógica — La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico,… … Wikipedia Español
Aritmética de módulo 2 — La matemática o aritmética de Módulo 2 se refiere a las operaciones sobre números binarios que desperdician o no tienen en cuenta las unidades que se deben llevar al siguiente nivel. Contenido 1 Suma tradicional 2 Matemática modular 2.1 La suma … Wikipedia Español
Lógica demostrativa — La lógica demostrativa es una lógica modal, en la que el operador caja (o necesidad ) es interpretado significando debe ser demostrado que . El aspecto que se desea capturar es la noción de un predicado de demostración de una teoría formal… … Wikipedia Español
Jerarquía aritmética — En lógica matemática, la jerarquía aritmética, o jerarquía de Kleene clasifica ciertos conjuntos basándose en la complejidad de las fórmulas que los definen. Todo conjunto que recibe una clasificación es llamado aritmético. La jerarquía… … Wikipedia Español
Puerta lógica — «AND» redirige aquí. Para otras acepciones, véase AND (desambiguación). Una puerta lógica, o compuerta lógica, es un dispositivo electrónico el cual es la expresión física de un operador booleano en la lógica de conmutación. Cada puerta lógica… … Wikipedia Español
Historia de la lógica — La historia de la lógica documenta el desarrollo de la lógica en varias culturas y tradiciones a lo largo de la historia. Aunque muchas culturas han empleado intrincados sistemas de razonamiento, e, incluso, el pensamiento lógico estaba ya… … Wikipedia Español
Unidad aritmético lógica — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar … Wikipedia Español
Lenguaje de bajo nivel — Un lenguaje de programación de bajo nivel es el que proporciona un conjunto de instrucciones aritmeticológicas sin la capacidad de encapsular dichas instrucciones en funciones que no estén ya contempladas en la arquitectura del hardware.… … Wikipedia Español
ILA 9200 — El ILA 9200, es un microprocesador didáctico, cerebro del robot pianista Don Cuco El Guapo, el cual es solo una de sus muchas aplicaciones posibles. El ILA 9200 tiene un total de diez millones de transistores en una superficie de 150 mm, lo que… … Wikipedia Español